Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
โœ…Type Checking
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โš–๏ธInference Rules
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ”—Go Generics
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท16h
๐Ÿ”—Category Theory
Flag this post
Daily Artificial Intelligence Digest - Oct 31, 2025
dev.toยท18hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท21hยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.comยท15hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
A Three-Stage Bayesian Transfer Learning Framework to Improve Predictions in Data-Scarce Domains
arxiv.orgยท16h
โœจEffect Inference
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.comยท11h
๐ŸŽญErlang OTP
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
๐Ÿ—‚๏ธType Indexing
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท2dยท
ฮปLambda Calculus
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Borrowing Extensions
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.orgยท16h
๐ŸŒฑMinimal ML
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ‘‘Dependent Haskell
Flag this post
My ML Learning Journey: From Confusion to Building a Working Model
kaggle.comยท13hยท
Discuss: DEV
๐ŸŒฑMinimal ML
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.toยท21hยท
Discuss: DEV
๐ŸŽฏPattern Matching
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.orgยท16h
โšกPartial Evaluation
Flag this post